add source files missing in 42adc709bce333581fb1c11224216759c3f99341, refs #1268