#!/bin/sh
export MAXIMA_DIRECTORY
MAXIMA_DIRECTORY=/usr/lib/maxima-5.6
exec ${MAXIMA_DIRECTORY}/src/saved_maxima -dir ${MAXIMA_DIRECTORY}/src/ $@
