(DotNet4.0) Updated version number for push