Fix issue #47: fix potential name clashes with make targets in catkin workspace.

As per title.

---

Review: ?