fix file names, FROGGS++