--- a/docs/README-macosx.md Fri Jun 24 22:17:56 2016 -0400
+++ b/docs/README-macosx.md Sat Jun 25 19:40:02 2016 +0200
@@ -227,4 +227,4 @@
Functionality may be added in the future to help this.
-Known bugs are listed in the file "BUGS"
+Known bugs are listed in the file "BUGS.txt".