php5: disable mips16 support (fixes #675)

Signed-off-by: Michael Heimpold <mhei@heimpold.de>