Used sed to get variable values from platforms.txt