Are those two lines needed to support separate compilation?