Fixed arduino platforms.txt typo