You do not need to change the operating system to solve the segmentation fault error. This issue can be solved on Ubuntu 20.04 by adding the old xenial repositories to /etc/apt/source.list:
##GCC 4.8
deb http://dk.archive.ubuntu.com/ubuntu/ xenial main
deb http://dk.archive.ubuntu.com/ubuntu/ xenial universe
Then:
sudo apt-get update
sudo apt-get install gcc-4.8 g++-4.8
Finally in the make file PATH_TO_STAMP/src/Makefile change line 40 from CC = gcc to CC=g++-4.8
The same thing can be done in Debian 10 by adding deb https://deb.debian.org/debian/ jessie main to /etc/apt/source.list and then do the same steps as in the Ubuntu case. This will add Debian 9 Jessie repository to the list.
I hope this can help.