Hi, I'm sorry, I wrongly copied the plasma files from trunk yesterday (thanks Burkhard for noticing) I'm going to redo the operation from scratch, which means that a few updates may be lost. Sorry for the inconvenience. -- Luigi