Re-enable custom verilog definitions (after debugging)
docs