workaround a bug in ubuntu 13.04