Fix "trema --version" bug (fixes #248).