port to Ubuntu 12.04