next try to make travis happy... now with pre-installing GCC 4.8