Tools: Remove a bit of spam when mmaps_generator loads vmaps