Allow the user to override the choice of cscope db.