Don't use Travis's SBT_OPTS