bump release number to differentiate from planetlab-3_1-branch releases