Fix broken binaries (hopefully)