php: workaround for pkg-config 0.28