Thanks @chneukirchen
Also remove some unnecessary stuff from gnu-configure build_style, because it's done elsewhere.