Solution: correctly enable the definition in platform.hpp so that the
gssapi support is actually built in if requested and available.