Trying again to make REE happy via Travis-CI, since local config isn't working