Commit 6177ef73 already fixed them for standard builds, but we forgot to adapt the code in the repository server. Fixes issue #9507