Making sure this compiles on Linux with GCC