Switch between bash and sh download_exec linux

This pull request references #1622, selects bash if available, switches to sh if it isn't the case.