ping: Fix loading core files without build-ids