/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