I'm a little late to the party, but I've uploaded my source codes to GitHub in case anyone needs a more convenient tool to deploy/execute on running machines and/or needs something fast on USB flash drives to run around the office:
https://github.com/cookiengineer/fix-crowdstrike-bsod
Releases section contains prebuilt binaries, but of course, I always recommend to check the source and then build it yourself.