use symlinks instead of hardlinks to make __FILE__ work

fixes #1606