The same problem on MacOSX M. S. Odesláno z iPhonu 5. 9. 2013 v 12:38, Wookey <wookey at wookware.org>: > Failing to remove thtmpdirs (not sure if that was OK on 5.3.10 or not?).