Fix another Linux compatibility bug