Add Fedora 18 to known platform.