Removing hasksyn from Vundle.