diff --git a/src/arch/x86/prefix/romprefix.S b/src/arch/x86/prefix/romprefix.S
index 3abef0ea..d0789bbf 100644
--- a/src/arch/x86/prefix/romprefix.S
+++ b/src/arch/x86/prefix/romprefix.S
@@ -28,7 +28,9 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL )
 #define PCI_FUNC_MASK 0x07
 
 /* ROM banner timeout, converted to a number of (18Hz) timer ticks. */
+#ifndef ROM_BANNER_TIMEOUT_TICKS
 #define ROM_BANNER_TIMEOUT_TICKS ( ( 18 * ROM_BANNER_TIMEOUT ) / 10 )
+#endif
 
 /* Allow payload to be excluded from ROM size
  */
diff --git a/src/bin/.gitignore b/src/bin/.gitignore
deleted file mode 100644
index 72e8ffc0..00000000
--- a/src/bin/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-*
diff --git a/src/util/elf2efi.c b/src/util/elf2efi.c
index 2c5b9df8..4144265e 100644
--- a/src/util/elf2efi.c
+++ b/src/util/elf2efi.c
@@ -18,6 +18,7 @@
  */
 
 #define FILE_LICENCE(...) extern void __file_licence ( void )
+#define _GNU_SOURCE
 #include <stdint.h>
 #include <stddef.h>
 #include <stdlib.h>
