Hopefully fixed travis runs