*: Fixing up CtrlP plugin