Fix ABC-formula dir