Fix for Ubuntu >= 12.04