Merge pull request #1848 from dieterdeyke/master

Use fossil options as understood by version 1.21
fossil 1.21 (as used on the server) uses _FOSSIL_ instead of the newer .fslckout to store local data