Some problems at ci server with python 3.1... not so important, removed