Fix compiler verification