let version_date = "@CONFVERSION@"
let configure_flags = "@CONFIGURE_FLAGS@"