Our CI machine runs a Docker version which is too old otherwise. Hopefully to be fixed in the near future
This will create a new commit in order to revert the existing changes.
