Fix import statements to match libsyntyche