Try a fix for Ubuntu precise