Yes, thank you so much! Apparently the solution is just to resize gui/window_icon.png to 1000x1000 and now it runs fine! (credit to mttk here.) I have no idea why that's a problem on Linux and not Windows (or why there couldn't be a more descriptive error message) but there you go.