Travis: fix 3.12.1 build since mirage not available there