ignore the crt file, too