Minor changes to Makefile to support building it on RPi