Bump Alaveteli release number.