following the instructions at www.gnu.org/licenses/gpl-howto.html
start of the regxact script