Work around CtrlP misbehaviour