rename GRAV back to PGRV, fix formatting in generator, remove useless file