statically linked php