how to only generate 4.2alpha server binaries ?