Fedora 7 Update: wxMaxima-0.7.2-4.fc7.1