[Fix] Fix some file extensions