I think this is caused by a bug in superenv for subformulas. Yasm wasn't in path without this line.