With some work I'll be able to eliminate the use of aot entirely, which solves the problems I've been having. Proxy is much more idiomatic than gen-class, too.