Attempt to fix the booting issue reported by Matthias: https://mattermost.web.cern.ch/itkpixel/pl/yiqedysr138stpbkhzqe3bdn9h