No longer use externals; change file extensions