raise an error if someone sends in a bad platformName (fix #2179)