genode/repos/demo/lib/mk/launchpad.mk