patchPhase wasn't being called for me so I've switched out the explicit builder for the generic form. I can now build RedPRL on locally on NixOS.