Updated filenames for web IDE