Start/restart the Arduino IDE afterwards. You should now have a new entry in "Tools / Board" "ATtiny13A". If chosen, you can select the configured cpu frequency in "Tools / CPU Frequency". This will ...