Fix #3678: use pry as the default REPL in the dev environment