Fix compilation on travis