quick fix for building on linux