Fix #1126 -- allow interpreter choice in `console`

This is #1126.