We are not going to fix this. More likely the ppc port of Leap is going to be discontinued due to lack of interest from the community.