fixed #264 (mapped <ctrl-enter> to green-flag instead of <enter>)