Strangely, we cannot get alternative behavior in Travis CI