Turn off unnecessary diagnostics
Prepend library defs for now