176a177,181
> if not os.path.isfile(args.gem5) or not os.access(args.gem5, os.X_OK):
> print >> sys.stderr, \
> "gem5 binary '%s' not an executable file" % args.gem5
> sys.exit(2)
>