Okay, but is it really necessary? It's just a minor build fix that makes sure the Makefile reads in a version...