missing <stdio.h> for linux (thanks Pixel Syndicate)