Linux bug fix