Makefile: when installing, change VERSION with sed.