Bugfix: source does not work with /bin/sh