and yet more work to make travis happy