Somehow these linux changes got lost