Bump version to 3.5.1 (fix #568)