wip. try to fix build error on travis (non reproducible otherwise)