Add two problems on Ubuntu 13.04.