enable renaming again with new default names

make -j "$(nproc)"

# avoid errors in mv when renaming to same file

if [[ "$mode" != "merge-source" ]]; then

mv IVAS_cod "$ivas_cod_filename"

mv IVAS_dec "$ivas_dec_filename"

mv IVAS_rend "$ivas_rend_filename"

if [ -f ISAR_post_rend ]; then mv ISAR_post_rend "$isar_post_rend_filename"; fi

fi

# return to current branch

git restore .