bump submod, etc, really 0.4.2 here