fix compilation on travis