Fix the maguro build