EBMC fails to read SMV files with `.` in name

[mgudemann]

for example the attached smv model fails with

Parsing counter.aig.smv
file counter.aig.smv line 2: syntax error before `9'
PARSING ERROR

on both 4.4. and 4.2
counter.zip