modify config/init-dev.el