restore linux compilation