define platform.soc_ext_path when --external argument is used (to use it to include verilog files in the external target)