Verilator systemc updates

This contains a couple of small fixes for building verilator testbenches with systemc support.
The fixes are related to include directories and file names of the compiled sources.