to make diffcp.pl ok