Oh dear, there was still one missing WPSEO_PATH...