Minor tweak, for static linking