Fixes #4129: change version to 1.0.0