Bugfix: `./configure -h' should exit after printing the help