evildhex is not found!