Fix some linux issues