bao153

So it turned out that the executables in the `/src` directory didn't have execution permission but `chmod +x`-ing them didn't actually work either. Then, following https://stackoverflow.com/questions/64706647/why-am-i-getting-a-zsh-exec-format-error, I did `make clean`...