fixed bug in makefile causing make distcheck to fail (sometimes...)