Add a bunch of missing `include "defines.v"