bugfix: build texinfo in $BUILD_OBJ