smlsharp/SMLDoc not found