for debugging header linker error