Making Propeller GCC Easier