Fix some linux problems