Switch source install scripts from bash to sh

Allow a better compatibility, especially for systems without bash by
default.