VBox
GHC version bump