These files are not present in /opt.
I think the installation system is broken.
I verified the sha1sum:
However, I managed to install gitlab using the .deb packages, so I managed to solve the overall problem.
Even the upgrade to the 10 series went fine.
Thanks for the help