How to pass command-line arguments to Genode application?