Added proper platform support to the gcc generator