Fixing typos.
Check that the filename sent to maxima contains a path.

Fixes #303.