We tried, but could not find /doku.php?id=doku.php.faq:troubleshooting:citadel_bombs_out_with_a_segmentation_fault_during_setup_or_when_i_attempt_to_run._what_should_i_do&do=login§ok=14f1d60b79a67af0ceac5bb2e8acd505
But hey, you don't have to leave empty handed!
Here are some things you can try instead: