Fixed Makefile per bug report from Julian Stacey. There was an extra DESTDIR