Attempt to make travis happy