Fix issue when calling bench.py

Calling

    $ bench.py -i file

instead of

    $ bench.py -i file.mps

won't work.

This commit fix this issue.