Fix the vera command line (debian jessie dist)