Fix a problem where sh is used and not bash

This pr fixes a `/bin/sh: 1: source: not found` problem.