Ensure we use the debian package for php-openid.