Change namespace since tux21b.org appears to be down