Ignore openflow-pki-server directory.