try to locate coq installation inside of eclipse, if pref is empty