Fix stale vcs pins

This patch fixes issue #84.