Workaround for file redirection