Simplify configure option settings in pg_compile

Some code duplication, the enemy of the developer, has been removed.