#658: bash_loader, update path

Resolves #658.