For security purposes, the MacOS will dowload the files as non-executable. To make them work, you have to set the executable bit using "chmod +x h2bootMAC" in the terminal window.