*) Makefile changes to make it compile and link on Raspberry Pi (ARM) as well as on x86