updated ctrlp and html5 plugin