fixes to make travis work correctly