Update conf-compilation-server.rkt

Honestly, you'd think I could get the symbol right from code to config.