Fix Travis configuration. Hope this time it's OK