Juan 17/06/2019: for ubuntu/dash problem , add "#!/bin/bash" un all clean/get/run script

(cherry picked from commit be44502a)