Do not (require 'maxima) on linux.