Added missing include in xbob.extension.