use shorter file extension