fix #179: "navigate to file in project browser" does not work all the times