fix debian distribution makefile to allow for ARM architecture

Thanks to Brent Baccala