Makefile adjustements for ARM