Use ScriptFileFormula

Switch these to use ScriptFileFormula, since they no longer
need to munge the installed filenames.