That is the correct file & procedure.
I suggest to download again from itch itch.io here (in case you have D/L your version from another, maybe dubious, source)
Depending on what hardware you have maybe SpacejourneyX-32.exe (same folder) might work.