Write to CONTROL file differently depending on platform