Correct linux binary