Fix compatibility with latest Ubuntu 12.04 base image.