Upgrade vct server to 0.8.a11 which fixes problems with dash shell