[IB-1926] [Bug] Updated MappaMundi breaks build #380

Merged
merged 1 commit into from Jul 4, 2019