Fix build in Linux