Non non li ho messi io, cmq adesso ho fatto quello che mi hai detto tu ... ho riavviato il server x (a proposito c'è un modo diverso dal killarlo?), e poi ho rinominato ancora.. ora è tutto ok, ma non capisco il perchè. Tra l'altro i permessi di /tmp non sono cambiati.