LibigotServer: Make sure to always return the same instance.