Fix some erroneous ifdefs