Use correct syntax for platforms

So that the gemfile works