fixes #7: fix symlinks options