File extensions needed for tests