SERVER-15948 add missing files