--- src/maxima.in.orig	2018-10-23 17:59:28 UTC
+++ src/maxima.in
@@ -165,6 +165,7 @@ if [ -d "$MAXIMA_INITIAL_FOLDER" ]; then
 fi
 
 maxima_image_base="$MAXIMA_IMAGESDIR/binary-$MAXIMA_LISP/maxima"
+maxima_image_base_core="$MAXIMA_IMAGESDIR/binary-$MAXIMA_LISP/maxima_core"
 
 if [ "$verbose" = "true" ]; then
     set -x