updated VERSION for 2.5.1