Renamed basement.mk to basement.makefile. It's more verbose and apparently even widely accepted.