There's no need for a top-level dummy Makefile - the real Makefile is generated by configure, and the dummy file only worked on systems that had bash installed into /usr/local/bin anwyay.