#658: bash_loader, change log file name