add a couple of pragmas