Fix GAE bug where all file references cannot be loaded due to some encoding problem
Add more stuff to rough_sketch