--- db-src/include/bios_disk.h.origin	2015-01-25 08:51:15.000000000 +0100
+++ db-src/include/bios_disk.h	2015-06-15 23:22:23.522835748 +0200
@@ -20,6 +20,7 @@
 #define DOSBOX_BIOS_DISK_H
 
 #include <stdio.h>
+#include <stdlib.h> /* abort() */
 #ifndef DOSBOX_MEM_H
 #include "mem.h"
 #endif