update to current HEAD

@sharanya12: I made build process a bit easier yesterday. Unfortunately, you cloned the repository when it was in an inconsistent state.