Update build_sensei.sh to remove the same configopt being set twice