smultron: update proprietary-files