Argh, it's <ext/hash_map> apparently

Change-Id: Ide91e3302aa17052eb4deb3ddd16ff1ef83401fe