Fix loading defuns