Add DESTDIR option to Linux Makefile