ok, that explains it; since the PR affects the newcoming ictce GROMACS builds, I think it's passable as such...