Fixes missing headers in tets