#478: bash_loader, add file

Resolves #478.