Work around vagrant status bug for CI