make-dist.py: Additionally ship libgomp