drake_debug_mex.sh works on linux