Fix a bug resetting back to older linux emulation version