Bumped version to 0.12 for devel