Make makefile compatible with Ubuntu which uses sh as the default shell
Merge branch 'makefile_compatibility_with_ubuntu'