Fix incorrect executables