Patch applied to Debian package

On these systems, BlasInt != Int