Remove leftovers in manifest from Kerberos GUI removal