Fix setup script

Signed-off-by: Daniele Ricci <daniele.athome@gmail.com>