Bump version to 0.2 as we now have full proof building support