cbmc-6.4.0-alt1.x86_64	bin-permissions	info	not executable file /usr/bin/ls_parse.py;