Rebase for sage-5.10