slightly more robust Makefile. Fixes #7