[travis] use the same compilation option of the dashboard