jwiegley/funmacs not found