Error while copying from plugins-dist/safehtml/lib/compresseur_options.php to plugins-dist/safehtml/lib/xemlock/compresseur_options.php