infinality-settings.sh up to 0.4.8.0
09-ttinterp.c.patch: reformatting