mentioned in commit deeb25b0
@mlaurent I have reverted this since it broke the build, please use Merge Requests next time to make sure you don't break things.