use_debian_dirs
use_both_hmmsets
