Replace waf with custom Python script.