add --just-mininet option