Just put a zener regulator on it. (30cents)
The problem there is that the 4V line is sometimes supplied from a Li-Ion battery. The voltage varies in the 3.3 - 4.1 V range and I don't want to drain the battery too quickly. The load varies, depending on how fast I am clocking the PIC.