Don't need this anymore either
Get rid of spurious include