fix the name of the stylus files