See comments by Maxim, and ... > "CC=gcc" When cross-compilation, you need to TARGET-gcc such that it is compiled for the right architecture. This is done automatically by (string-append "CC=" #$(cc-for-target)), which should have plenty of examples in the source code. Greetings, Maxime.