I believe a workaround to the bug of raw_input sending the prompt to stderr is print 'prompt:', a = raw_input() Not nice, but possibly better that waiting for a corrected binary.