Fixes which on Ubuntu 12.04