old maxima dist files removed