Trying to make travis happier