Worked around an issue with Ubuntu 14.04 on VMware.