Does `make cmake` not work here?  I only ask because the filename could be different down the road, and `make cmake` will run the right thing.