platform now needs to be explicitly specified