bugfix in flymake-location