options.jar added. rename extensions since .jar added to gitignore