Use only major PHP versions (as suggested in #12)