Build fix on Linux