dist.ini: version syntax fix.