#!/bin/bash

cat $1 | grep ':.*o' | sed -e 's/\.o//g' | sed 's,/[^: 	]*/,,g'

