Problem solved.
For some reason there were two different php versions installed on this server (don't ask why or how that happened), which caused a conflict while compiling (compiled with phpize of one version, but with php-config of the other). I purged one version, compiled the extensions again and everything worked fine.
