Better Travis integration (fixed, hopefully)