Switch on "non-GNU" option