Add .so to travis' php.ini