[PATCH 01/10] make.sh: Set a good default for rustc flags