Hopefully fixed travis tests