make clean no longer creates version.ml only to delete it immediately