linux build system fix