Fix installation of PocketMine