Adjust to renamed option of haikuporter.