Nasty hackery to make GCC's preprocessor happy