Added Ubuntu 13 fix