bash script for patching installed PhpStorm