Fixes broken cwd for stex tests