FIX: wrong option checking for generating main() wrapper.