fixed bug with php_sodium_key_ctor