use a Makefile-generated file, const.ml (from const.mlp), to store globals
including the version number and parsing variables