Juan 13/05/2019: Change old "#!/bin/sh" in "#!/bin/bash" in all script

(cherry picked from commit be93aa73)