GCC Port: type mismatch