Fix extension_dir for PHP.