Fixed issue with "file not found" in lingo/vub.rkt