Turn off stepdefs.json

Too annoying.