Attempt to fix compilation on travis