evalue_convert.cc: add missing include