Update to use version 0.* of infinity base