PHP C extension to read the MaxMind DB format