Also make travis test with 5.3