correct an undefined behavior (fails in GCC 4.8.1 with -O2)

The type of protModels is not consistent between files, causing undefined
behavior leading to crashes under certain circumstances. For detail see thread
here:
http://www.reddit.com/r/programming/comments/257dn6/the_compiler_is_always_right_nathans_blog/cheq5pw