v0.903

    * Fix bug in starting the debugger with F12