Hopefully fixed travis ci script