modify version.txt to 0.5.1