Upgrade vcsh to v1.20140508