genode: how to build noux packages manually
linux: how to set default audio output