[PD] segfault with dynamic loading of abstractions