Fix mantacode modules