Update version and executable to 0.1.2-RC1.