shave off a little bit more, switch to P2_PRAG by default