make vtdos+1.2 the default