Fix linux bugs