fix sourcekit crash