headerfile: trying to fix script failure