Small fix in makeinstlog.sh