fix for #7203 and #6280

Last minute fix for https://github.com/adobe/brackets/issues/7203 and https://github.com/adobe/brackets/issues/6280 issues on Linux