Pass TERM as xterm to "vagrant ssh" because Debian doesn't know TERM "mintty".
OPTIONS=color,hilite_pet,news
OPTIONS=number_pad
OPTIONS=!autopickup
OPTIONS=name:gavenkoa
OPTIONS=catname:Catty
OPTIONS=dogname:Doggy
OPTIONS=horsename:Loshadka
GL_OPTIONS=windowed,mode:1024x768,depth:32
GL_OPTIONS=altprev,prevstep:3,reformat