Fixed build under linux