/bin/bash: /usr/local/genode-gcc/bin/genode-arm-g++: cannot execute binary file
dirname: missing operand
Try `dirname --help' for more information.
including /home/lucid/Desktop/genode-15.08/tool/run/boot_dir/linux
including /home/lucid/Desktop/genode-15.08/tool/run/power_on/linux
including /home/lucid/Desktop/genode-15.08/tool/run/log/linux
including /home/lucid/Desktop/genode-15.08/repos/os/run/demo.run
building targets: core init drivers/timer server/nitpicker app/pointer app/status_bar server/liquid_framebuffer app/launchpad app/scout test/nitpicker server/nitlog drivers/framebuffer drivers/input server/report_rom
spawn make core init drivers/timer server/nitpicker app/pointer app/status_bar server/liquid_framebuffer app/launchpad app/scout test/nitpicker server/nitlog drivers/framebuffer drivers/input server/report_rom
/bin/bash: /usr/local/genode-gcc/bin/genode-arm-g++: cannot execute binary file
make[1]: Entering directory `/home/lucid/Desktop/genode-15.08/build.lx'
Makefile:107: *** "/usr/local/genode-gcc/bin/genode-arm-g++ version 4.9.2 is required". Stop.
make[1]: Leaving directory `/home/lucid/Desktop/genode-15.08/build.lx'
Error: Genode build failed
make: *** [run/demo] Error 252