Found the issue with 4.0.1 on Linux (only affecting Linux) and will try to build a new version 4.0.2 once that has landed.
1. Are folks ok with that?
2. If yes, I could use help generating and signing Windows (@thor) and the running the website sync scripts (@seph) as we had an error last time