get rid of whalesong from this branch (it was out of git modules, but still showed up here?!)