Only add automatically detected plugins to options once.  Fixes #757.