Some PDF file reported as pure data by file utility, so guess PDF
type based on extension
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