7.0.7 late update

Actually this would be the best way to go unless the update (7.5.10) is already ready and is in the process of being compiled.