Specific configuration for Mailman in Travis CI