Fixed the Travis configuration. Finally!