Fixes missing include in config.h