Sort:  
 3 years ago  

This was a stupid typo in the post, that has also been pointed out by @isnochys. It has now been fixed. Please use

  ./bin/ma5
 

instead.