php: remove hack for libdir