statically link php