Binding f9: save LaTeX buffer before calling C-c C-c