modifications to build under linux