diff -r eef745ba3774 -r 54ea19938d57 src/main.c
--- a/src/main.c	Wed Aug 26 14:46:42 2015 +0200
+++ b/src/main.c	Fri Feb 26 11:55:42 2016 +0100
@@ -1,7 +1,7 @@
 /*
  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER.
  *
- * Copyright 2014 Mike Becker. All rights reserved.
+ * Copyright 2016 Mike Becker. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are met:
@@ -146,7 +146,7 @@
     return 0;
 }
 
-Settings default_settings() {
+static Settings default_settings() {
     Settings settings;
     memset(&settings, 0, sizeof(Settings));
     settings.gameinfo.servercolor = WHITE;
@@ -194,10 +194,6 @@
     refresh();
 }
 
-void leavescr() {
-    endwin();
-}
-
 int main(int argc, char **argv) {
     srand(time(NULL));
     
@@ -218,7 +214,7 @@
         endwin();
         return EXIT_FAILURE;
     }
-    atexit(leavescr);
+    atexit((void(*)())endwin);
     
     int exitcode;
     if (settings.singlemachine) {