Tried to avoid compilation problem on travis (though afaik there are
still other issues with building on travis atm), though atm only
by a quick hack.