Make github happy, add extensions