update to 1.2.5.dev