small changes for building on Linux