Fixup setup script php syntax.