Making Propeller GCC easier