Make ProofGeneral.rcp work with Emacs >= 24.2. on OS X