add some php libraries