missed a level of polyml's directory nesting