Add desktop/menu entries for math/open-axiom and rebuild