set version to 0.1.2, use core-cl2 0.7.1