Index: lib/External/ppcg/cpu.c
===================================================================
--- lib/External/ppcg/cpu.c
+++ lib/External/ppcg/cpu.c
@@ -65,7 +65,7 @@
  */
 static FILE *get_output_file(const char *input, const char *output)
 {
-	char name[PATH_MAX];
+	char name[PATH_MAX + 1];
 	const char *ext;
 	const char ppcg_marker[] = ".ppcg";
 	int len;
Index: lib/External/ppcg/cuda_common.c
===================================================================
--- lib/External/ppcg/cuda_common.c
+++ lib/External/ppcg/cuda_common.c
@@ -20,7 +20,7 @@
  */
 void cuda_open_files(struct cuda_info *info, const char *input)
 {
-    char name[PATH_MAX];
+    char name[PATH_MAX + 1];
     int len;
 
     len = ppcg_extract_base_name(name, input);
Index: lib/External/ppcg/ppcg.h
===================================================================
--- lib/External/ppcg/ppcg.h
+++ lib/External/ppcg/ppcg.h
@@ -10,6 +10,10 @@
 
 #include "ppcg_options.h"
 
+#ifndef PATH_MAX
+#define PATH_MAX 4096
+#endif
+
 const char *ppcg_base_name(const char *filename);
 int ppcg_extract_base_name(char *name, const char *input);