TMP: just to troubleshoot our issue on travis