v1.5.8

Merge pull request #46 from Erquint/Erquint-patch-41
!patch Another hotfix to the dumb build.

Welp, phew, a week of suffering later, I finally got the GitHub Workflows to do what I needed.
Ashamed of the mess left in the wake, honestly. But probably beats rewriting git history.
Now I can hopefully focus on accepting community contributions.

P. S. Realized that a bunch of extra files end up getting packaged with the executable. For now you can just discard all of them.

P. P. S. Turns out the workflow I set up is artificially limited in permissions for PRs coming from forks — that's a big spanner in the works. Gonna have to reinvent the whole thing again at a later point…