Update platforms.bash