Fix bugs in GCC