Fix typo in platforms.pro.