toplevel GNUmakefile. sagelib quirks