--- a/wrapper.sh	Mon Mar 27 13:11:53 2023 +0000
+++ b/wrapper.sh	Fri Jan 05 08:53:22 2024 +0000
@@ -23,7 +23,7 @@
 class_filter=${19}
 empty_region_filter=${20}
 fast=${21}
-BASENAME=$(basename "$input")
+BASENAME=$(basename "$title")
 # Cut off .txz or .tgz suffix and also replace spaces with underscores.
 NEW_IMGT_PREFIX="new_IMGT_${BASENAME%.*}"
 NEW_IMGT_PREFIX=${NEW_IMGT_PREFIX// /_}
@@ -31,7 +31,7 @@
 #exec 5> debug_output.txt
 #BASH_XTRACEFD="5"
 ## Busybox date does not support '+%s.%N'. So use a custom program. Can be
-## Compiled with cc -Os show_time_as_float.c -o show_time_as_float
+## Compiled with cc -static -Os show_time_as_float.c -o show_time_as_float
 #PS4='$(${dir}/show_time_as_float) $LINENO: '
 #set -x