use commander.js (with our patches)