fixed linux compilation error