Make examples pass also on Travis