add $FILE quotes in gather_docs code