I was able to fix it. I uninstalled the CoqIDE app and redid everything with opam as suggested. Thanks again for the help.