Restore missing header

Signed-off-by: Randy DuCharme <radio.ad5gb@gmail.com>