... the below completes the work, no -std=gnu++0x anymore. Paolo. /////////////////////