add saucy compatibility

A few changes for Ubuntu Saucy (13.10)