Oops, use correct platform toolset