Fix compilation of the bootanimation