workaround travis issues