rename ehft -> ehfl