attempt to fix compilation on travis