Add imaxima support