Fixes box-php version