ppx44x: switch to 3.3 and add broken flag