fix some stuff in cloud4e-devel-ubuntu-13.04