Made it build with GCC