I don't think so. But why do you need the ht version? Levente On Thu, 9 Apr 2015, Tobias Pape wrote: > > Hi all > > I have wondered, isn't there any other way to have the > ht cog vm run, _without_ instructing users to change > shady system config files? I can't ask my students > to do that, really… > > Best > -Tobias