and now reverting the whole BASH_SOURCE fiasko