Fix a problem with Ubuntu using other shell inside Make

Force the usage of bash inside a make execution to circumvent a
problem with Ubuntu (mainly).