+ workaround a travis bug