Added archive redirection to /int/.