Updated.

Signed-off-by: Stefano Traverso <stefano.traverso@polito.it>