fix inconsistency for parsing option -player
add option -proxy