Delete 33bit_or_more.pl~