Usually, the best way to enable all extensions is to compile with -D_GNU_SOURCEGreat thanks! The app I have conditionally enables _GNU_SOURCE for __linux__ in the sourcefile that needs strptime(), so I can just add __MINT__ to that #if :)
Bingo, this is the right, clean patch ! -- Vincent Rivière