This fixes Cuckoomon cross compilation with Ubuntu 13.10