fix bug; add -Wswitch; update SBITSET;