Fix linux related stuff