Because the default installation prefix has changed in the new release, it is needed to add in the configure line of Docker file the argument --prefix=/