Make compatible with new version of Sage
Rename to avoids.sage