cp -v ${HOME}/immudex/grub/${arch2}/* ${HOME}/build/immudex-${debver}/${arch}/staging/boot/grub >> immudex_build.log 2>&1;
if [ $? -eq 0 ]; then echo -e "[ ${GREEN}OK${ENDCOLOR} ]"; fi
+#Setting a properly Debian vanilla base version in bootloader files
+echo -n "Setting a properly Debian vanilla base version in bootloader files...";
+sed -i "s,Debian\ 13,Debian\ ${debver},g" ${HOME}/build/immudex-${debver}/${arch}/staging/isolinux/isolinux.cfg;
+sed -i "s,Debian\ 13,Debian\ ${debver},g" ${HOME}/build/immudex-${debver}/${arch}/staging/boot/grub/grub.cfg;
+if [ $? -eq 0 ]; then echo -e "[ ${GREEN}OK${ENDCOLOR} ]"; fi
+
#Create grubstandalone config:
echo "-==Create grub-standalone config: $(date)==-" >> immudex_build.log;
echo -n "Create grub-standalone config...";