src/{server,pld,svf,xsvf}: remove 'extern' keyword