stereo.cc: Fix warning
ISIS: ensure config options are defined