should restore solver showing correct githash...