HAL_Linux: fixed linux build