set PATH=%PATH%;c:\xcas bash.exe runxcas.es