Bug solving under Ubuntu 14.04