Fix #18: don't leave objs in src directory