Unable to download resource at path: /boot/trunk/arch/ppc32/loader/types.h