deleteBinaries.pl #1