Set properly the build options in generated binpkgs.