gross hack in Makefile.in to get diskdefs file to land in the right place