My fork of maxima repo