Make sure external commands are executed by bash

While this is convenient, this whole thing must be rethought IMHO if one wants to be portable on Windows...