The favorite file finding stuff is portable now!  (per http://stackoverflow.com/a/16398621/1443496 - thanks @Stefan)