improvement suggested by Remi to honour php's --with-libdir