Make executable jar file names more consistent.