Small fixes to build flags