add libtinyfs files