remove junk in makefile.push_doc
add a flag to compile containers.advanced only if sequence is installed