Touch makefile to get Jenkins to pick up the new version tag.