OPTIONS=boulder:0
OPTIONS=DECgraphics