Awesome! Thanks, hawhill!
P.S. Replacing the 4 files with my backups did not work. Now I have to figure out how to run a .bin file in Linux Mint. Google is my friend
At least the frustration with the compiling was spared by the generously provided precompiled k3flasher by hawhill.