fixed some build errors on a friend's machine with different datatypes apparently