Fix hackie generation of default GovReadyfile