Fix for sdk2013 linux compilation