nailfuns.h: fix CONFIG=MINIMAL (since 2016-03-03!)