anchor.diff:  
   ############################################
   # Bug fix?
  -RUN apt-get update && apt-get install -y \
  -    linux-libc-dev
  +# RUN apt-get update && apt-get install -y \
  +#     linux-libc-dev
   # Bug fix?
   ############################################
   
  
positive.code: ##########################################################################
  FROM ubuntu:15.10
  MAINTAINER "Paolo D'Onorio De Meo <p.donoriodemeo@cineca.it>"
  
negative.code: #######################
  # Python libraries
  RUN pip install --upgrade pip \
      simplejson commentjson httplib2 requests defusedxml lxml queuelib dweepy \
      py2neo neomodel \
      flask-sqlalchemy flask-security flask-restful \
      flask-admin flask-restplus flask-cors \
  