make --define work also for verilog preprocessor macros.

make --define work also for verilog preprocessor macros. #3582