Allow to specify extra command-line flags at configure time