Clean up stupid GCC bug fix