make file options always override defaults, fixes sourcePort issue