3.5.1 released, bump version