return;
/* Inform pager that we are done */
+#ifdef __GLIBC__
stdout = safe_fclose(stdout);
stderr = safe_fclose(stderr);
+#else
+ safe_fclose(stdout);
+ safe_fclose(stderr);
+#endif // __GLIBC__
(void) kill(pager_pid, SIGCONT);
(void) wait_for_terminate(pager_pid, NULL);