Actually use the pool server build timeout.

Also, increases it a bit to 800 seconds.