Actually use the filename supplied by the user.