Added hex files from the default distribution