work around github travis issue