UTMPX_FILE and WTMPX_FILE are already defined in paths.h