Minimize source includes

Restore one included file that had been deleted erroneously. 
Thanks, Lucas, for pointing out.