OS-dependent libdir for PHP