Some buildscripts for Debian, copied from the 5.5 version of php5-dev