SERVER-11021: add pragma once to header