Make read_properties() take FILE *pipe instead of command line