Fix for 14.04. Hopefully won't be needed for much longer.