Added CtrlP extension