Use single file extension