updated revy
use load-file-name instead of trying to find the library again.