We are not supposed to import classes from java.io package
Switched to BinaryStdIn to fix a number of test failures