Core dump on MongoDB 5.0 on RPi 4

Just to be thorough, even though I don’t think it should matter much: I’ve replaced the Raspberry Pi stock micro SD with a larger Samsung EVO microSD and am running Ubuntu 20.04 instead of the stock Pi distribution.