openflow.0.8.0: actually bump version number