minor changes to fix build process on Linux