Build fix for Linux