edited files to make it compatible with psfgen