chiark / gitweb /
remove Makefile magic for leading '0' in version