Fix linux syntax