changed file naming convention

avoids problems with java