Reroute the lines around the pool, since you may need to relocate some sprinkler heads while you're at it. If it involves too much hard digging to go around the pool, you could use a protective PVC sleeve surrounding the pipe laid in the deck area. That way, you could go back later and slip in a replacement pipe, if you needed to.