Noticed on today's build failure:

  rts/Printer.c:659:13: error:
     error: conflicting types for 'DEBUG_LoadSymbols'
     extern void DEBUG_LoadSymbols( const char *name )
                 ^~~~~~~~~~~~~~~~~

  In file included from rts/Printer.c:17:0: error:

  rts/Printer.h:29:13: error:
     note: previous declaration of 'DEBUG_LoadSymbols' was here
     extern void DEBUG_LoadSymbols( char *name );
                 ^~~~~~~~~~~~~~~~~

Signed-off-by: Sergei Trofimovich <siarheit@google.com>