Fixes problem when building with -DBATCH, OPTIONS broken with -DBATCH Generated with FreeBSD Port Tools 0.50
State Changed From-To: open->closed Wrong solution! I committed a proper fix.