Bash script to make debian package for pdo_oci from debian's php5 source package