Ubuntu 13.04 fix