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.
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.