fix definterface+ interaction with AOT compilation