build_* scripts shouldn't bother with multiple builds in one script; just always explicitly ask for the OS you want to target