allow for outside kernel sources