* change VERSION to 5.1.stable.