Deleted hello_world, replaced by triplemining.c