Slight cleanup of linux code