the extension does not work on 32-bit compiled PHP-Sources