Added Factmint paths, etc