Bump mangler to 1.2.5