Repairing Linux compilation