fixing building on Linux