bump release number to 5.1