fixes for system update to ubuntu 13.04