any news on an updated linux version? I'm not sure of other's experiences, but for me not only do the exports not get saved with the right extension, but when trying to open them, they so not show up in the file selection menu. Whether they have the stl extension or not