more work on Finder-launching