Fix production version for 1.2.5pre