makefile tweak for #1

Seems to fix the issue in #1.