Fix some pantheon PKGBUILDs