"Hartmann, O." <ohartman at zedat.fu-berlin.de> writes: > *** [do-extract] Signal 13 I have the same issue but it usually happens on `make install'. And reverting r247804 seems to be the workaround. Can you confirm?