Reintroduces nofunctions option mentioned in the manual that got somehow...

... lost