attempt at fixing build problem under linux