Why do we have a separate config named ConfigurationOfPharoVM for PharoVMMaker? Unless there are significant changes in PharoVMMaker wouldn't it make sense to rely on the default Configuration and tag the proper releases? best cami