Import MariaDB PageCompression patch