Avoid compilation of vernum.c in 'make install'