XERUS_REPLACE_ALLOCATOR generates an error on gitlab CI

See e.g. #2034.