Removed unnecessary pragma; made platform logic more like before