adding missing files in formulae
fixing the segfault