Lars (and anybody else interested): It turns out that one must edit three files: src/CMD/lists/local src/CMD/lists/drivers.digit src/CMD/next_step/next_step all must be consistent, i.e., src/mapdev/digitizers/none