fix missing header include