[FIX] Restore file deleted in 391e07a (not obsolete)