Workaround for shiny file upload

This is a placeholder PR for #957