makefile: makefile_VERSION_NUMBER sed -f