Fix sourcing of bash snippets