Added '--with-check' option