/* This file contains platform settings for Linux */
/* at least my Linux box doesn't have ascftime, so we've got to fall back to asctime() */
#undef HAVE_ASCFTIME